- Programmsynthese
- f KI program synthesis
Deutsch-Englisch Wörterbuch für Informatik. 2015.
Programmsynthese
Look at other dictionaries:
Allen Emerson — Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik Professor an der… … Deutsch Wikipedia
E. Allen Emerson — Ernest Allen Emerson (* in Dallas) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik Professor an der University of … Deutsch Wikipedia
Ernest Allen Emerson — (* in Dallas) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik Professor an der University of Texas at Austin.… … Deutsch Wikipedia
Robert Floyd — Robert „Bob“ W Floyd (* 8. Juni 1936 in New York City; † 25. September 2001 in Stanford, Kalifornien) war ein amerikanischer Informatiker und Turing Preisträger. Er ließ seinen ursprünglichen zweiten Vornamen auf „W“ ändern, jedoch betonte er oft … Deutsch Wikipedia
Robert W. Floyd — Robert W Floyd (* 8. Juni 1936 in New York City; † 25. September 2001) war ein US amerikanischer Informatiker. Er ließ seinen ursprünglichen zweiten Vornamen auf „W“ ändern, jedoch betonte er oft, dass „W.“ eine gültige Abkürzung dafür sei. [1]… … Deutsch Wikipedia
